<!-- Any copyright is dedicated to the Public Domain.
     http://creativecommons.org/publicdomain/zero/1.0/ -->

<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8"/>
    <script>
      window.onload = function () {
        var script = document.createElement("script");
        script.setAttribute("src", "code_bug-896139.js");
        document.body.appendChild(script);
      }
    </script>
  </head>
  <body>
  </body>
</html>
